Diversification of search results as a fuzzy satisfiability problem Steven Schockaert and Martine De Cock Dept. of Applied Mathematics and Computer Science, Ghent University, Belgium {steven.schockaert,martine.decock}@ug

Source URL: www.cwi.ugent.be

• Logic in computer science
• Model theory
• Artificial intelligence
• Fuzzy logic
• Non-classical logic
• Constructible universe
• Many-valued logic
• Interpretation
• Logic
• Science
• Mathematics

Final Project for the national master’s course Numerical Partial Differential Equations spring 2006 Albert-Jan Yzelman∗ & Tijmen Collignon† August 22, 2006

Source URL: www.trancethrust.nl

• Constructible universe
• Multiple integral
• Linear differential equation
• Mathematical analysis
• Calculus
• Operator theory

An Efficient Characterization of Fuzzy Temporal Interval Relations Steven Schockaert, Martine De Cock, and Etienne E. Kerre Abstract— Fuzzy temporal interval relations have been defined to support temporal knowledge re

Source URL: www.cwi.ugent.be

• Fuzzy logic
• Constructible universe

Fuzzy Answer Set Programming Davy Van Nieuwenborgh1,⋆ , Martine De Cock2 , and Dirk Vermeir1 1 Vrije Universiteit Brussel, VUB Dept. of Computer Science

Source URL: www.cwi.ugent.be

• Logic programming
• Semantics
• Artificial intelligence
• Logic in computer science
• Stable model semantics
• Negation as failure
• Constructible universe
• Answer set programming
• T-norm
• Logic
• Mathematical logic
• Fuzzy logic

Sets and Antisets Michael L. Carroll June 22, 2009 Abstract This paper modies, extends and, with respect to set union, provides for the algebraic closure of standard Zermelo-Fraenkel (ZF) set theory. It

Source URL: www.csz.com

• Z notation
• Zermelo–Fraenkel set theory
• Function
• Cardinality
• Power set
• Cardinal number
• Constructible universe
• Finite set
• Universe
• Mathematical logic
• Mathematics
• Set theory

Your Rights in a State Center

Source URL: www.dads.state.tx.us

An overview of the ordinal calculator Paul Budnik Mountain Math Software [removed] c[removed]Mountain Math Software Copyright

Source URL: mtnmath.com

• Ordinal notation
• Ordinal arithmetic
• Limit ordinal
• Veblen function
• Admissible ordinal
• Constructible universe
• First uncountable ordinal
• Large countable ordinal
• Ordinal numbers
• Mathematical logic
• Mathematics

2.3 Relation between the regular and principal parts of the Laurent expansion Let w = f (z ) be a function in the complex plane. The function is regular in domain D：0 ≦ R1 < z − α < R2 ≦ ∞ . Suppose that w = f

Source URL: www2.math-4-u.com

• Mathematics
• Complex logarithm
• Complex analysis
• Constructible universe
• Complex plane

A geometric perspective on lifting Michele Conforti Universit`a di Padova, [removed] G´erard Cornu´ejols ∗ Carnegie Mellon University and Universit´e d’Aix-Marseille, [removed] Giacomo Zambe

Source URL: integer.tepper.cmu.edu

• Mathematical analysis
• Μ operator
• Spectral theory of ordinary differential equations
• Mathematics
• Function
• Constructible universe

AN ENERGY-MINIMIZATION FINITE-ELEMENT APPROACH FOR THE FRANK-OSEEN MODEL OF NEMATIC LIQUID CRYSTALS ∗ J. H. ADLER, T. J. ATHERTON, D. B. EMERSON, S. P. MACLACHLAN Abstract. This paper outlines an energy-minimization fi

Source URL: neumann.math.tufts.edu

• Ordinal number
• Constructible universe